INTEROPERABILITY USING THE DISCRETE - EVENT MODELING ONTOLOGY ( DeMO )
نویسندگان
چکیده
In modeling and simulation, the need for interoperability can be between simulation models or, more broadly, within simulation environments. For example, simulation of biochemical pathways for glycan biosynthesis will need access to glycomics knowledge bases such as the GlycO, EnzyO and ReactO ontologies and bioinformatics resource/databases. Traditionally, developers have studied these information sources and written custom simulation code with hardlinks into, for example, databases. Our research explores a technique which allows developers to create a conceptual model using domain ontologies, and then use alignment and mapping information between the domain ontologies and the Discrete-event Modeling Ontology (DeMO) to create DeMO instances which represent a model that conforms to a particular simulation world view. Once the DeMO instances have been created, a code generator can be used to produce an executable simulation model. This paper discusses several situations in which DeMO can support interoperability but focuses primarily on interoperability between domain ontologies and DeMO.
منابع مشابه
ONTOLOGY DRIVEN SIMULATION USING ONTOLOGY MEDIATION TECHNIQUES by KUSHEL RAI BELLIPADY
by KUSHEL RAI BELLIPADY (Under the Direction of John A. Miller) ABSTRACT The need for interoperability arises in the discipline of simulation and modeling, particularly when the components of a simulation environment need to communicate with each other or communicate with outside entities including other simulation environments. Ontologies can be used to facilitate this interoperability between...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملOntologies for Modeling and Simulation: An Initial Framework
Many fields have or are developing ontologies for their subdomains. The Gene Ontology (GO) is now considered to be a great success in biology, a field that has already developed several extensive ontologies. Similar advantages could accrue to the Modeling and Simulation community. Ontologies provide a way to establish common vocabularies and capture domain knowledge for organizing the domain wi...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009